Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The intention of this article is to present a general, uniform and concise mathematical framework for modelling of systems, especially discrete systems. As basic structures families and relations, defined as families of families represented in parameterized form, are used, which allows the representation of dual and polymorphic relations. On these structures structors are applied to obtain higher...
Categorical modelling is a useful tool in the study of systems. The basic idea of categorical shape theory is that, in any approximating situation, the approximations are what encode the only information that the system can analyse. Such approximations are very important in using time-varying complex systems to model system developments. Within this context, basic properties of categorical shape theory...
By taking a logical approach to the practical task of constructing complex engineering systems from their component parts, we achieve a precise semantics for our building operations. If the underlying logic has the Craig interpolation property we are also able to preserve the structure and properties of the system components that we build with. System construction, defined as systems configuration,...
A task which is supposed for our DSS (actDSS) consists of integrated models, solvers, graphical models for imput and output, various data models connected a data base and others. The organization of these subsystems is a task. A task management system (TMS) should take care of all aspects of a task construction and its operation. In this paper the concept of TMS is proposed and the structure and function...
Many man-made systems have discrete event mechanism. This paper first shows briefly a way how to construct a universal state space representations of a general discrete event system that is an input-output system with past-determinacy, stationarity, the discrete event input space, and discrete event-determinacy. The constructed state space representation for a discrete event system is minimal in a...
This paper has a theoretic nature. We introduce a new concept in systems theory, the intersensorial transformations (IT). This concept is transparent and general enough to include sensory-motor transformations for robotic actions. The analysis of this transformations leads to the existence of various levels of generalized mapping between representation spaces. From lower to higher levels the...
The formal description of hardware protocols allows system engineers to check these protocols for some important properties, such as completeness and consistency. In this paper, a methodology called trigger graph is introduced. It uses a notation that is similar to timing diagrams, but it strictly avoids their disadvantage of being ambiguous. In addition, the exact mathematical notation of the trigger...
A categorial semantic domain for general (discrete event) systems based on labeled transition systems with full concurrency is constructed, where synchronization and hiding are functorial. Moreover, we claim that, within the proposed framework, a class of mappings stands for refinement. Then we prove that refinement satisfies the diagonal compositionality requirement, i.e., refinements compose (vertical)...
This paper deals with a multiple planning problem, which is a collection of planning problems defined for the same partial transition system and have the same set of goal states. It is shown that a solution to the multiple planning problem can be written in procedural (imperative) languages like Pascal. The formal definition of the syntax and semantics of conditional-iterative actions is provided...
This paper deals with the systematical checking of the possible equality of two functions or what is the same, of two expressions. The nature of the problem is first considered. The concept of Universe is reexamined. The concepts of Object Attribute Power Table, Prime Universe, Prime Table and Canonical Expression, unique for each class of equivalent functions, are introduced. A procedure to determine...
In the present paper an elementary symbolic method for the estimation of basins of attraction in second order nonlinear dynamical systems is formulated and its implementation using Mathematica® is shown. The estimation algorithm is based upon the construction of positively invariant compact boxes that trap the trajectories with unbounded initial conditions. We obtain such boxes through a Lyapunov...
The complexity of systems requires that validation methods are set in the designing phase as well as during their use or maintenance. We propose a modelling approach of the system which allows us to bring into play some methods for the validation of temporal and functional properties. The model that we have defined, called Interpreted Sequential Machine, is based on the concept of Sequential Machine...
Current systems are no longer pure physical systems or information systems but tend to consist of elements from both of these areas. Thus, one modelling technique which considers the behaviour of all the different system elements is elaborated within this paper. Extended Predicate/Transition nets often used for information technology serve as a basis for this modelling. It is shown how differential...
Software systems are conceived by the developers in an iterative, recursive and evolutive way. Traditional software development methods avoid the modelling of this evolutive conception. Three years ago we began the development of a method (MEDES) which tries to model and represent this important characteristic of all the human conception activities. The main objective of this paper is to present a...
This paper discusses concepts and techniques supporting modelling, planning and execution of design activities in distributed design environments. The task of planning, executing, and supervising the design processes has become so complex that it itself requires advanced computer support facilities. We propose extended planning facilities exploiting old design projects. The planning functions form...
This paper describes a formal semantics for a graphical model representation in the hardware/software codesign. The approach to the specification and design of heterogeneous hardware/software systems defines a strict sequence of transformations that begins with an implementation-independent specification on the system level using graphical tools. It leads to an implementation description on the register-transfer...
This paper presents a descriptive specification of the user interface for a microsystems simulator at the highest level of abstraction in a hierarchical design environment. A new design paradigma WYSIWYS “What You See Is What You Simulate” is disclosed.
The Data Analysis and System Modeling Environment (dasme) is a computer-assisted modeling environment, currently under development at NASA's Goddard Space Flight Center, designed to support ground-based mission operations with a mixed discrete/continuous modeling capability. This paper describes planned cast-based extensions to dasme to support a broader range of systems theoretical computing models,...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.